CSDDIS.XGP[F76,JMC] - www.SailDart.org

perm filename CSDDIS.XGP[F76,JMC] blob sn#258168 filedate 1977-01-14 generic text, type T, neo UTF8
/LMAR=0/XLINE=3/FONT#0=BAXL30/FONT#1=BAXI30/FONT#2=BAXB30/FONT#3=BAXS30/FONT#4=SUP/FONT#5=GACB25/FONT#6=METLB



␈↓ ↓N␈↓ε␈↓ βgResearch Equipment Proposal Submitted to
␈↓ ↓N␈↓ε␈↓ αrNational Science Foundation - Computer Science Section

␈↓ ↓N␈↓ε␈↓ εGby

␈↓ ↓N␈↓ε␈↓ ∧WComputer Science Department
␈↓ ↓N␈↓ε␈↓ ¬,Stanford University
␈↓ ↓N␈↓ε␈↓ ∧qStanford, California 94305


␈↓ ↓N␈↓Proposed Amount ␈↓&␈↓¬$154,810␈↓␈↓)αβ

␈↓ ↓N␈↓Department Chairman: ␈↓&␈↓¬Professor Edward Feigenbaum␈↓␈↓)αβ␈↓ πn Soc. Sec. No. ␈↓&␈↓¬137-26-8264␈↓␈↓)αβ
␈↓ ↓N␈↓Telephone ␈↓&␈↓¬415 497-4079␈↓␈↓)αβ
␈↓ ↓N␈↓Department ␈↓&␈↓¬Computer Science␈↓␈↓)αβ␈↓ ¬nSchool ␈↓&␈↓¬Humanities and Sciences␈↓␈↓)αβ




␈↓ ↓N␈↓Make grant to ␈↓&␈↓¬         Leland Stanford Junior University          ␈↓␈↓)αβ





␈↓ ↓N␈↓Endorsements:

␈↓ ↓N␈↓␈↓ α↑Department Head␈↓ ¬↑Institutional Admin. O␈↓¬␈↓β@␈↓¬␈↓icial

␈↓ ↓N␈↓Name␈↓ α↑␈↓&␈↓¬Edward A. Feigenbaum ␈↓␈↓)αβ␈↓ ¬↑␈↓&␈↓¬                     ␈↓␈↓)αβ


␈↓ ↓N␈↓Signature␈↓ α↑␈↓&␈↓¬                     ␈↓␈↓)αβ␈↓ ¬↑␈↓&␈↓¬                     ␈↓␈↓)αβ

␈↓ ↓N␈↓Title␈↓ α↑␈↓&␈↓¬Professor & Chairman ␈↓␈↓)αβ␈↓ ¬↑␈↓&␈↓¬                     ␈↓␈↓)αβ

␈↓ ↓N␈↓Date␈↓ α↑␈↓&␈↓¬                     ␈↓␈↓)αβ␈↓ ¬↑␈↓&␈↓¬                     ␈↓␈↓)αβ
␈↓ ↓N␈↓α␈↓ ¬8TABLE OF CONTENTS␈↓ n


␈↓ ↓N␈↓α␈↓ α∞Section␈↓ ¬mPage

␈↓ ↓N␈↓1.  Purpose␈↓ ε  1

␈↓ ↓N␈↓2.  Description of Equipment␈↓ ε  1
␈↓ ↓N␈↓␈↓ ↓n2.1 Displays␈↓ ε  1
␈↓ ↓N␈↓␈↓ ↓n2.2 Minicomputer␈↓ ε  2
␈↓ ↓N␈↓␈↓ ↓n2.3 Printer␈↓ ε  2
␈↓ ↓N␈↓␈↓ ↓n2.4 Communications.␈↓ ε  2
␈↓ ↓N␈↓␈↓ ↓n2.5 Budget␈↓ ε  3

␈↓ ↓N␈↓3.  Department Composition␈↓ ε  4
␈↓ ↓N␈↓␈↓ ↓n3.1 Faculty Users␈↓ ε  4

␈↓ ↓N␈↓4.  Proposed Research␈↓ ε  5

␈↓ ↓N␈↓5.  Biographical Data␈↓ ε  5

␈↓ ↓N␈↓6.  Current Research␈↓ ε  9

␈↓ ↓N␈↓7.  Operation and Maintenance␈↓ ¬|  12

␈↓ ↓N␈↓␈↓ β1␈↓αAppendices␈↓

␈↓ ↓N␈↓A.  Computing Facilities␈↓ ¬|  12

␈↓ ↓N␈↓B.  Stanford Computer Science
␈↓ ↓N␈↓␈↓ αnDepartment Research Report␈↓ ¬|  14
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ b1


␈↓ ↓N␈↓α␈↓ β51.  Purpose                                 ␈↓ π∞␈↓α␈↓ πx2.  Description of Equipment

␈↓ ↓N␈↓This␈α
is␈α
a␈α
request␈α
for␈α
a␈α
grant␈α
in␈α
partial␈α
support     ␈↓ π∞␈↓The␈αfollowing␈αare␈αthe␈αgeneral␈αspeci␈↓βC␈↓cations␈αof
␈↓ ↓N␈↓of␈α~of␈α~a␈α~display␈α~terminal␈α~system␈α≠for␈α~the            ␈↓ π∞␈↓the proposed terminal system:
␈↓ ↓N␈↓Stanford␈α.University␈α.Computer␈α.Science
␈↓ ↓N␈↓Department,␈α∂in␈α∞response␈α∂to␈α∂an␈α∞announcement       ␈↓ π∞␈↓1.␈αEach␈αo␈↓β@␈↓ice␈α
contains␈αa␈αdisplay␈α
terminal␈αthat
␈↓ ↓N␈↓by␈α
the␈α
National␈α
Science␈α
Foundation␈α
[1].␈α
 The      ␈↓ π∞␈↓can␈α∂handle␈α∂text␈α∂and␈α∂graphics.␈α⊂ The␈α∂graphics
␈↓ ↓N␈↓system␈αincludes␈α64␈αdisplay␈αterminals,␈αa␈αprinter,  ␈↓ π∞␈↓requirement␈α
might␈α∞be␈α
omitted␈α
for␈α∞some␈α
users,
␈↓ ↓N␈↓and␈α∩communications␈α∩facilities␈α∪permitting␈α∩the    ␈↓ π∞␈↓but␈α)we␈α)have␈α)found␈α*an␈α)inexpensive
␈↓ ↓N␈↓use␈α
of␈α␈↓βC␈↓ve␈α
major␈αtime-sharing␈α
systems␈α
on␈αthe       ␈↓ π∞␈↓implementation that provides it.
␈↓ ↓N␈↓Stanford␈α∞campus␈α
and␈α∞dial-out␈α
access␈α∞to␈α
other
␈↓ ↓N␈↓computers.␈α
 The␈α
system␈αwill␈α
be␈α
used␈α
about␈α80       ␈↓ π∞␈↓2.␈α∀The␈α∀system␈α∀includes␈α∀a␈α∀line␈α∀printer␈α∪with
␈↓ ↓N␈↓percent␈α≠for␈α≠research␈α≠and␈α≠20␈α≠percent␈α~for           ␈↓ π∞␈↓graphics␈αcapability.␈α This␈αpermits␈αthe␈αprinting
␈↓ ↓N␈↓educational␈α
computing␈αby␈α
graduate␈αstudents␈α
in    ␈↓ π∞␈↓of␈α↔reports,␈α↔papers,␈α↔class␈α↔notes,␈α↔and␈α↔theses,
␈↓ ↓N␈↓computer␈α⊗science.␈α⊗ We␈α⊗propose␈α⊗to␈α⊗pay␈α⊗the          ␈↓ π∞␈↓using␈α#editors␈α"and␈α#publication␈α"programs
␈↓ ↓N␈↓educational␈α%part␈α%ourselves.␈α% The␈α$80-20          ␈↓ π∞␈↓maintained␈α#on␈α#the␈α#various␈α#time-shared
␈↓ ↓N␈↓estimate␈α≥is␈α≥based␈α≥on␈α≥the␈α≥fact␈α≥that␈α≤the             ␈↓ π∞␈↓computers.
␈↓ ↓N␈↓department␈α→uses␈α_other␈α→facilities␈α→that␈α_have
␈↓ ↓N␈↓terminal systems for its classes.           ␈↓ π∞␈↓3.␈αA␈αminicomputer␈αmaintains␈αthe␈αdisplays␈αand
                                            ␈↓ π∞␈↓the communication with the host computers.
␈↓ ↓N␈↓Department␈α∩members␈α∩have␈α∩current␈α∩access␈α⊃to
␈↓ ↓N␈↓␈↓βC␈↓ve␈α_major␈α↔time-sharing␈α_computers␈α_on␈α↔the          ␈↓ π∞␈↓4.␈α
Telephone␈α
dialers␈α
and␈α∞networking␈α
facilities
␈↓ ↓N␈↓Stanford␈α∞Campus␈α∞and␈α∞others␈α∞elsewhere.␈α∞ The       ␈↓ π∞␈↓on␈α≠the␈α≠system␈α≠will␈α≠permit␈α≠use␈α≤of␈α≠other
␈↓ ↓N␈↓Campus␈α∂computers␈α⊂include␈α∂the␈α⊂IBM␈α∂370/168         ␈↓ π∞␈↓computers.
␈↓ ↓N␈↓operated␈α&by␈α&the␈α&Stanford␈α&Center␈α%for
␈↓ ↓N␈↓Information␈α∀Processing,␈α∪the␈α∀DECSystem␈α∪10s
␈↓ ↓N␈↓operated␈αby␈αthe␈αStanford␈αArti␈↓βC␈↓cial␈αIntelligence  ␈↓ π∞␈↓α␈↓ λn2.1 Displays
␈↓ ↓N␈↓Laboratory,␈α⊃the␈α⊃Institute␈α⊃for␈α⊃Mathematics␈α⊃in
␈↓ ↓N␈↓the␈α∩Social␈α∩Sciences,␈α∩the␈α∩SUMEX␈α∩system␈α⊃for         ␈↓ π∞␈↓We␈αplan␈αa␈αsystem␈αanalogous␈αto␈αthose␈αin␈αuse␈αat
␈↓ ↓N␈↓arti␈↓βC␈↓cial␈α→intelligence␈α→in␈α→medicine,␈α~and␈α→the      ␈↓ π∞␈↓the␈α∃M.I.T.␈α∃Arti␈↓βC␈↓cial␈α⊗Intelligence␈α∃Laboratory
␈↓ ↓N␈↓DECSystem␈α∪20␈α∪operated␈α∪by␈α∪the␈α∪LOTS␈α∩low             ␈↓ π∞␈↓and␈αat␈α
the␈αYale␈α
Computer␈αScience␈α
Department
␈↓ ↓N␈↓overhead␈αtime-sharing␈α
system␈αfor␈α
instructional  ␈↓ π∞␈↓and␈α∂somewhat␈α⊂similar␈α∂to␈α⊂the␈α∂older␈α⊂system␈α∂in
␈↓ ↓N␈↓use.                                        ␈↓ π∞␈↓use␈α~at␈α≠the␈α~Stanford␈α≠Arti␈↓βC␈↓cial␈α~Intelligence
                                            ␈↓ π∞␈↓Laboratory.␈α∪ Our␈α∪experience␈α∪with␈α∪the␈α∩latter
␈↓ ↓N␈↓Of␈α!course,␈α"these␈α!di␈↓β@␈↓erent␈α"facilities␈α!are         ␈↓ π∞␈↓system␈α
indicates␈α
that␈α
individual␈αproductivity␈α
is
␈↓ ↓N␈↓available␈α∃for␈α⊗di␈↓β@␈↓erent␈α∃purposes␈α⊗and␈α∃under        ␈↓ π∞␈↓greatly␈αimproved␈αby␈α
having␈αa␈αdisplay␈α
in␈αeach
␈↓ ↓N␈↓di␈↓β@␈↓erent␈α
conditions.␈α
 Therefore,␈α
we␈α
have␈α
long    ␈↓ π∞␈↓o␈↓β@␈↓ice.
␈↓ ↓N␈↓felt␈α⊗the␈α⊗need␈α⊗for␈α⊗a␈α⊗Departmental␈α⊗terminal
␈↓ ↓N␈↓system␈αwhich␈αwould␈αgive␈αfaculty␈αand␈αgraduate      ␈↓ π∞␈↓A␈α∃480␈α∃by␈α∃512␈α∃array␈α∃of␈α∃bits␈α∃in␈α∃integrated
␈↓ ↓N␈↓students␈αaccess␈αto␈α
all␈αthese␈αcomputers␈α
and␈αany     ␈↓ π∞␈↓circuit␈α≠memory␈α≠will␈α≠represent␈α≠each␈α≠user's
␈↓ ↓N␈↓others␈αthat␈αmay␈αbe␈αimportant.␈α At␈αpresent␈αthis     ␈↓ π∞␈↓display␈α
image.␈α∞ The␈α
memories␈α
will␈α∞be␈α
directly
␈↓ ↓N␈↓access␈αto␈αexisting␈αcomputers␈αis␈αmore␈αimportant    ␈↓ π∞␈↓addressable␈α(by␈α(the␈α)minicomputer␈α(and
␈↓ ↓N␈↓than␈α%would␈α%be␈α$the␈α%acquisition␈α%of␈α$a                ␈↓ π∞␈↓characters␈α∞and␈α∞pictures␈α∞will␈α∞be␈α∞written␈α∞in␈α∞the
␈↓ ↓N␈↓departmental computer.                      ␈↓ π∞␈↓display␈α∀image␈α∪just␈α∀by␈α∪writing␈α∀their␈α∀bits␈α∪in
                                            ␈↓ π∞␈↓memory.␈α
 The␈α
major␈α
improvement␈α
over␈α
earlier
                                            ␈↓ π∞␈↓systems␈α≠is␈α≠that␈α≠integrated␈α≤circuits␈α≠storing
␈↓ ↓N␈↓[1]␈α∪Letter␈α∩to␈α∪Computer␈α∪Science␈α∩Department,       ␈↓ π∞␈↓16,384␈α∀bits␈α∀each␈α∀are␈α∀used,␈α∀rather␈α∃than␈α∀the
␈↓ ↓N␈↓Stanford,␈α
from␈α
Division␈α
of␈α∞Mathematical␈α
and      ␈↓ π∞␈↓earlier 1024.
␈↓ ↓N␈↓Computer␈α7Sciences,␈α7National␈α6Science
␈↓ ↓N␈↓Foundation, 23 July 1976.
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ ←2


␈↓ ↓N␈↓A␈α⊃prototype␈α⊃board␈α∩using␈α⊃the␈α⊃16k␈α∩chips␈α⊃has          ␈↓ π∞␈↓system␈α?␈α∃[1]␈α?␈α∃between␈α?␈α∃computers.
␈↓ ↓N␈↓been␈α_designed␈α_and␈α_built␈α_by␈α_the␈α↔Stanford           ␈↓ π∞␈↓Communication␈α⊗processors␈α∃are␈α⊗included␈α∃for
␈↓ ↓N␈↓Arti␈↓βC␈↓cial␈α⊃Intelligence␈α⊃Laboratory␈α⊃and␈α⊃is␈α⊂now     ␈↓ π∞␈↓each of the ␈↓βC␈↓ve computer centers.
␈↓ ↓N␈↓being␈α∩tested.␈α∩ As␈α∩of␈α∩this␈α∩writing,␈α∪the␈α∩board
␈↓ ↓N␈↓works␈α∩but␈α∪has␈α∩a␈α∪few␈α∩marginalities␈α∪that␈α∩are         ␈↓ π∞␈↓A budget is given below.
␈↓ ↓N␈↓being␈α∪␈↓βC␈↓xed.␈α∀ The␈α∪16k␈α∪chips␈α∀were␈α∪available
␈↓ ↓N␈↓only␈α⊃in␈α∩sample␈α⊃quantities␈α∩-␈α⊃enough␈α∩for␈α⊃one         ␈↓ π∞␈↓α␈↓ λ{Reference 
␈↓ ↓N␈↓board␈α-␈αat␈αthat␈α
time,␈αbut␈αthey␈αare␈α
expected␈αto
␈↓ ↓N␈↓be available at a price of about $4 in 1977.␈↓ π∞␈↓[1]␈α_Robert␈α↔M.␈α_Metcalfe,␈α↔David␈α_R.␈α↔Boggs,
                                            ␈↓ π∞␈↓"Ethernet:␈α∃Distributed␈α∃Packet␈α∃Switching␈α∃for
␈↓ ↓N␈↓The␈αadvantage␈αof␈αthe␈αsystem␈αis␈αcheapness␈αand       ␈↓ π∞␈↓Local␈αComputer␈αNetworks",␈α␈↓↓Comm.␈α
ACM,␈↓␈αJuly
␈↓ ↓N␈↓generality;␈αwe␈αexpect␈αa␈αper␈αboard␈αcost␈α
of␈α$600      ␈↓ π∞␈↓1976.
␈↓ ↓N␈↓and␈α∂an␈α∞additional␈α∂cost-per-terminal␈α∂of␈α∞about
␈↓ ↓N␈↓$600␈α⊗for␈α⊗keyboard,␈α⊗monitor,␈α⊗cabling,␈α∃video
␈↓ ↓N␈↓switch,␈α~and␈α≠input␈α~multiplexor.␈α≠ This␈α~will
␈↓ ↓N␈↓enable␈α∀us␈α∪to␈α∀put␈α∀a␈α∪terminal␈α∀in␈α∀each␈α∪o␈↓β@␈↓ice
␈↓ ↓N␈↓without␈α∃worrying␈α∃about␈α∃the␈α∃fact␈α∃that␈α∃each
␈↓ ↓N␈↓terminal␈α∀may␈α∀have␈α∀a␈α∀low␈α∀duty␈α∀cycle.␈α∀ The
␈↓ ↓N␈↓generality␈α⊗lies␈α⊗in␈α↔the␈α⊗fact␈α⊗that␈α↔the␈α⊗system
␈↓ ↓N␈↓permits␈αarbitrary␈αcharacter␈α
sets␈αand␈αgraphics␈α
-
␈↓ ↓N␈↓facilitating␈α≡the␈α≡design␈α≡and␈α≡use␈α∨of␈α≡new
␈↓ ↓N␈↓programming␈α⊂languages␈α⊂and␈α⊂the␈α⊂editing␈α⊂and
␈↓ ↓N␈↓printing of high quality documents.


␈↓ ↓N␈↓α␈↓ βπ2.2 Minicomputer

␈↓ ↓N␈↓The␈α
task␈α
will␈α
require␈α
a␈α
computer␈αequivalent␈α
to
␈↓ ↓N␈↓a␈α⊂PDP-11/45␈α⊂with␈α⊂64k␈α⊂words␈α⊂of␈α⊃memory␈α⊂in
␈↓ ↓N␈↓addition␈α
to␈α
the␈α16k␈α
words␈α
associated␈αwith␈α
each
␈↓ ↓N␈↓terminal.


␈↓ ↓N␈↓α␈↓ β72.3 Printer

␈↓ ↓N␈↓We␈α∞plan␈α∞to␈α∞use␈α∞a␈α∞printer␈α∞at␈α∞least␈α∞as␈α
versatile
␈↓ ↓N␈↓as␈α%the␈α%Printronix,␈α%which␈α&permits␈α%the
␈↓ ↓N␈↓production␈α"of␈α!report␈α"quality␈α!documents,
␈↓ ↓N␈↓including illustrations.


␈↓ ↓N␈↓α␈↓ αo2.4 Communications.

␈↓ ↓N␈↓We␈α∩include␈α∩communication␈α∩lines␈α∩to␈α∪the␈α∩␈↓βC␈↓ve
␈↓ ↓N␈↓afore-mentioned␈α∪Stanford␈α∪computers␈α∪as␈α∩well
␈↓ ↓N␈↓as␈α⊂facilities␈α⊂for␈α⊂employing␈α⊂telephone␈α∂dial-out
␈↓ ↓N␈↓to␈α⊃connect␈α∩with␈α⊃terminal␈α⊃interfaces␈α∩on␈α⊃other
␈↓ ↓N␈↓computers.␈α⊃ The␈α⊃cost␈α⊃estimates␈α⊃are␈α⊃based␈α⊃on
␈↓ ↓N␈↓the␈α∃use␈α∀of␈α∃an␈α∃Ethernet-like␈α∀communication
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ ←3


␈↓ ↓N␈↓α␈↓ ε_2.5 Budget

␈↓ ↓N␈↓¬␈↓ αnDisplay processor                                      $46,000
␈↓ ↓N␈↓¬␈↓ αn        DEC 11/45 CPU
␈↓ ↓N␈↓¬␈↓ αn        65K words core memory

␈↓ ↓N␈↓¬␈↓ αnCabinet with extension box & power supplies              4,300

␈↓ ↓N␈↓¬␈↓ αnDisplay generators (32 @ $675)                          21,500
␈↓ ↓N␈↓¬␈↓ αn        display cards      600/channel
␈↓ ↓N␈↓¬␈↓ αn        DEC DD-11a units    75

␈↓ ↓N␈↓¬␈↓ αnDisks (2)
␈↓ ↓N␈↓¬␈↓ αn        RK11-DE         RKO5 Controller and drive       11,000
␈↓ ↓N␈↓¬␈↓ αn        RK05            additional drive                 5,100

␈↓ ↓N␈↓¬␈↓ αnDisplay terminals (64 @ $600)                           38,400
␈↓ ↓N␈↓¬␈↓ αn        Keyboards         $300/station
␈↓ ↓N␈↓¬␈↓ αn        Monitors           150
␈↓ ↓N␈↓¬␈↓ αn        Keyboard Scanner    50
␈↓ ↓N␈↓¬␈↓ αn        Video switch        60
␈↓ ↓N␈↓¬␈↓ αn        cables              40

␈↓ ↓N␈↓¬␈↓ αnPrinter
␈↓ ↓N␈↓¬␈↓ αn        Printronix with interface                        5,700

␈↓ ↓N␈↓¬␈↓ αnDial-out line interfaces (2 @ $2,000)                    4,000

␈↓ ↓N␈↓¬␈↓ αnIntercenter communication controller & transceiver         700

␈↓ ↓N␈↓¬␈↓ αnCommunication cable (10,000 ft. @ $.12)                  1,200

␈↓ ↓N␈↓¬␈↓ αnCommunication processors (5 @ $5,700)                   28,500
␈↓ ↓N␈↓¬␈↓ αn        DEC 11/03-EA processor          2,000
␈↓ ↓N␈↓¬␈↓ αn        LSI/IO bus interface            3,000
␈↓ ↓N␈↓¬␈↓ αn        Comm. controller & transceiver    700
␈↓ ↓N␈↓¬␈↓ αn                                                       -------
␈↓ ↓N␈↓¬␈↓ αn                EQUIPMENT TOTAL                       $166,400

␈↓ ↓N␈↓¬␈↓ αnDesign & Developement Personnel

␈↓ ↓N␈↓¬␈↓ αn        2 Student Research Assistants, 1 year           14,300
␈↓ ↓N␈↓¬␈↓ αn           Half time academic year, full time summer

␈↓ ↓N␈↓¬␈↓ αn        Staff benefits (20% of salaries)                 2,860
␈↓ ↓N␈↓¬␈↓ αn                                                       -------
␈↓ ↓N␈↓¬␈↓ αn                                                        17,160

␈↓ ↓N␈↓¬␈↓ αnIndirect Costs (58% of non-equipment costs)              9,953

␈↓ ↓N␈↓¬␈↓ αn                TOTAL COST                            $193,513

␈↓ ↓N␈↓¬␈↓ αn                Stanford contribution (20%)             38,703

␈↓ ↓N␈↓¬␈↓ αn                BALANCE                               $154,810
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ ]4


␈↓ ↓N␈↓α␈↓ α>3.  Department Composition                  ␈↓ π∞␈↓␈↓αRobert␈α↔Floyd,␈α⊗␈↓Professor,␈α↔␈↓↓Complexity␈α⊗theory,
                                            ␈↓ π∞␈↓↓analysis of algorithms␈↓.
␈↓ ↓N␈↓The␈α⊃Computer␈α⊂Science␈α⊃Department␈α⊂currently
␈↓ ↓N␈↓has␈α∂18␈α∂faculty␈α∞members␈α∂(including␈α∂four␈α∞joint      ␈↓ π∞␈↓␈↓αGene␈α∀Golub,␈α∀␈↓Professor,␈α∀␈↓↓Matrix␈α∀computation,
␈↓ ↓N␈↓appointments),␈α≠26␈α≠sta␈↓β@␈↓␈α≠members,␈α≤6␈α≠post-          ␈↓ π∞␈↓↓structured␈α∃linear␈α⊗systems,␈α∃least␈α⊗squares␈α∃and
␈↓ ↓N␈↓doctoral␈α≥associates,␈α≥193␈α≥graduate␈α≥students      ␈↓ π∞␈↓↓eigenvalues␈↓.
␈↓ ↓N␈↓(including␈α_103␈α_in␈α↔PhD␈α_program),␈α_and␈α↔14
␈↓ ↓N␈↓supporting personnel.                       ␈↓ π∞␈↓␈↓αCordell␈α∂Green,␈α∂␈↓Assistant␈α⊂Professor,␈α∂␈↓↓Automatic
                                            ␈↓ π∞␈↓↓programming,␈αproducton␈αautomation,␈αbiomedical
␈↓ ↓N␈↓The␈α⊃proposed␈α⊃display␈α⊃system␈α∩would␈α⊃provide        ␈↓ π∞␈↓↓applications␈↓.
␈↓ ↓N␈↓terminals␈α∩in␈α∩64␈α∩o␈↓β@␈↓ices,␈α⊃32␈α∩of␈α∩which␈α∩can␈α⊃be
␈↓ ↓N␈↓active␈αat␈αany␈αgiven␈αtime.␈α We␈αbelieve␈αthat␈αthe      ␈↓ π∞␈↓␈↓αJohn␈α≠Herriot,␈α≠␈↓Professor,␈α≤␈↓↓Spline␈α≠functions,
␈↓ ↓N␈↓general␈α∩con␈↓βC␈↓guration␈α⊃is␈α∩the␈α∩most␈α⊃economical      ␈↓ π∞␈↓↓partial di␈↓␈↓βP␈↓␈↓↓erential equations␈↓.
␈↓ ↓N␈↓approach␈α
available␈αfor␈α
providing␈α
full␈αaccess␈α
to
␈↓ ↓N␈↓the␈α␈↓βC␈↓ve␈αcomputer␈αcenters␈αon␈αcampus,␈αalthough      ␈↓ π∞␈↓␈↓αDonald␈α)Knuth,␈α(␈↓Professor,␈α)␈↓↓Analysis␈α(of
␈↓ ↓N␈↓the␈αspeci␈↓βC␈↓c␈αsubsystem␈αchoices␈αare␈αnot␈α␈↓βC␈↓rm␈αand      ␈↓ π∞␈↓↓algorithms,␈α6combinatorics␈α7and␈α6discrete
␈↓ ↓N␈↓will␈α⊂be␈α∂reviewed␈α⊂and␈α⊂revised␈α∂in␈α⊂the␈α⊂light␈α∂of        ␈↓ π∞␈↓↓mathematics␈↓.
␈↓ ↓N␈↓later␈αequipment␈αannouncements.␈α This␈αkind␈αof
␈↓ ↓N␈↓system␈α→has␈α~become␈α→practical␈α~only␈α→recently        ␈↓ π∞␈↓␈↓αJohn␈α9McCarthy,␈α9␈↓Professor,␈α9␈↓↓Arti␈↓␈↓βS␈↓␈↓↓cial
␈↓ ↓N␈↓because␈α∀of␈α∪reductions␈α∀in␈α∪memory␈α∀costs␈α∪and         ␈↓ π∞␈↓↓intelligence,␈α?␈αβmathimatical␈α?␈αβtheory␈α?␈ααof
␈↓ ↓N␈↓advances␈α∃in␈α⊗packet-switched␈α∃communication      ␈↓ π∞␈↓↓computation, timesharing␈↓.
␈↓ ↓N␈↓techniques.
                                            ␈↓ π∞␈↓␈↓αEdward␈α≠McCluskey,␈α≠␈↓Professor␈α≠(joint␈α≠with
                                            ␈↓ π∞␈↓E.E.), ␈↓↓Digital systems, reliability␈↓.
␈↓ ↓N␈↓α␈↓ β3.1 Faculty Users
                                            ␈↓ π∞␈↓␈↓αJoseph␈α∩Oliger,␈α∩␈↓Assistant␈α∪Professor,␈α∩␈↓↓Ordinary
␈↓ ↓N␈↓Expected␈α
faculty␈αusers␈α
of␈αthe␈α
proposed␈αsystem     ␈↓ π∞␈↓↓di␈↓␈↓βP␈↓␈↓↓erential␈α*equations,␈α+partial␈α*di␈↓␈↓βP␈↓␈↓↓erential
␈↓ ↓N␈↓and␈α⊗their␈α∃general␈α⊗research␈α∃interests␈α⊗are␈α∃as       ␈↓ π∞␈↓↓equations␈↓.
␈↓ ↓N␈↓follows.
                                            ␈↓ π∞␈↓␈↓αRobert␈α⊃Tarjan,␈α⊃␈↓Assistant␈α⊃Professor,␈α⊃␈↓↓Analysis
␈↓ ↓N␈↓␈↓αForest␈α"Baskett,␈α"III,␈α"␈↓Assistant␈α"Professor,       ␈↓ π∞␈↓↓of algorithms, graph theory␈↓.
␈↓ ↓N␈↓␈↓↓Analysis␈α_of␈α↔operating␈α_systems,␈α↔measurement
␈↓ ↓N␈↓↓and modeling of computing systems␈↓.          ␈↓ π∞␈↓␈↓αGio␈α∪Wiederhold,␈α∪␈↓Assistant␈α∪Professor,␈α∩␈↓↓System
                                            ␈↓ π∞␈↓↓design, data base, medical applications␈↓.
␈↓ ↓N␈↓␈↓αBruce␈α∞Buchanan,␈α
␈↓Adjunct␈α∞Professor,␈α
␈↓↓Arti␈↓␈↓βS␈↓␈↓↓cial
␈↓ ↓N␈↓↓intelligence,␈α6scienti␈↓␈↓βS␈↓␈↓↓c␈α6inference,␈α5theory      ␈↓ π∞␈↓␈↓αTerry␈α⊗Winograd,␈α⊗␈↓Assistant␈α⊗Professor␈α∃(joint
␈↓ ↓N␈↓↓formation, biomedical applications␈↓.         ␈↓ π∞␈↓with␈α8Linguistics),␈α9␈↓↓Natural␈α8language,
                                            ␈↓ π∞␈↓↓representation of knowledge␈↓.
␈↓ ↓N␈↓␈↓αVaclav␈α~Chvatal,␈α→␈↓Assistant␈α~Professor␈α→(joint
␈↓ ↓N␈↓with␈α∞O.R.),␈α∂␈↓↓Combinitorics,␈α∞graph␈α∂theory,␈α∞linear  ␈↓ π∞␈↓␈↓αAndrew␈α?␈α¬Yao,␈α?␈αε␈↓Assistant␈α?␈α¬Professor,
␈↓ ↓N␈↓↓programming␈↓.                                ␈↓ π∞␈↓␈↓↓Computational␈α5complexity,␈α6analysis␈α5of
                                            ␈↓ π∞␈↓↓algorithms, data structures, combinatotics␈↓.
␈↓ ↓N␈↓␈↓αGeorge␈α⊂Dantzig,␈α⊃␈↓Professor␈α⊂(joint␈α⊃with␈α⊂O.R.),
␈↓ ↓N␈↓␈↓↓Optimization␈α=of␈α>large-scale␈α=systems,           ␈↓ π∞␈↓␈↓αF.␈α∩Frances␈α∪Yao,␈α∩␈↓Assistant␈α∪Professor,␈α∩␈↓↓Design
␈↓ ↓N␈↓↓combinatorial␈α;mathematics,␈α:mathematical       ␈↓ π∞␈↓↓and␈α≡analysis␈α≥of␈α≡algorithms,␈α≥computational
␈↓ ↓N␈↓↓programming␈↓.                                ␈↓ π∞␈↓↓complexity, network theory␈↓.

␈↓ ↓N␈↓␈↓αEdward␈α∨Feigenbaum,␈α∨␈↓Professor,␈α≡␈↓↓Heuristic
␈↓ ↓N␈↓↓programming,␈α=DENDRAL,␈α<information
␈↓ ↓N␈↓↓processing psychology␈↓.
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ ←5


␈↓ ↓N␈↓α␈↓ αk4.  Proposed Research                       ␈↓ π∞␈↓R.␈α↔Davis,␈α↔B.␈α↔Buchanan␈α↔and␈α↔E.␈α↔Shortli␈↓↓␈↓β@␈↓↓␈↓e,
                                            ␈↓ π∞␈↓"Production␈α⊂Rules␈α⊂as␈α⊂a␈α⊂Representation␈α⊃for␈α⊂a
␈↓ ↓N␈↓A␈α⊂more␈α⊂detailed␈α⊂explanation␈α⊂of␈α⊂the␈α∂research       ␈↓ π∞␈↓Knowledge-Based␈α'Consultation␈α'Program".
␈↓ ↓N␈↓projects␈α→mentioned␈α~above␈α→is␈α~contained␈α→in         ␈↓ π∞␈↓␈↓↓Arti␈↓␈↓βS␈↓␈↓↓cial␈α∀Intelligence,␈↓␈α∪Volume␈α∀8,␈α∀Number␈α∪1,
␈↓ ↓N␈↓Appendix B.                                 ␈↓ π∞␈↓January 1977.

                                            ␈↓ π∞␈↓E.␈αH.␈α
Shortli␈↓↓␈↓β@␈↓↓␈↓e,␈αR.␈α
Davis,␈αS.␈α
G.␈αAxline,␈α
B.␈αG.
␈↓ ↓N␈↓α␈↓ αn5.  Biographical Data                       ␈↓ π∞␈↓Buchanan,␈α∪C.␈α∪C.␈α∀Green,␈α∪and␈α∪S.␈α∀N.␈α∪Cohen,
                                            ␈↓ π∞␈↓"Computer-Based␈α→Consultations␈α→in␈α→Clinical
␈↓ ↓N␈↓Biographical␈α↔data␈α↔is␈α↔given␈α↔here␈α↔for␈α⊗some          ␈↓ π∞␈↓Therapeutics:␈α7Explanation␈α7and␈α7Rule
␈↓ ↓N␈↓principal␈α∞prospective␈α
users.␈α∞ A␈α∞more␈α
complete    ␈↓ π∞␈↓Acquisition␈α!Capabilities␈α!of␈α!the␈α MYCIN
␈↓ ↓N␈↓set can be made available if needed.        ␈↓ π∞␈↓System",␈α⊃␈↓↓Computers␈α⊃and␈α⊃Biomedical␈α⊂Research,␈↓
                                            ␈↓ π∞␈↓8, 303-320 (1975).
␈↓ ↓N␈↓α␈↓ β⊃Bruce Buchanan 
                                            ␈↓ π∞␈↓E.␈α⊗H.␈α∃Shortli␈↓↓␈↓β@␈↓↓␈↓e␈α⊗and␈α∃B.␈α⊗G.␈α⊗Buchanan,␈α∃"A
␈↓ ↓N␈↓EDUCATION                                   ␈↓ π∞␈↓Model␈α⊗of␈α⊗Inexact␈α⊗Reasoning␈α⊗in␈α⊗Medicine",
                                            ␈↓ π∞␈↓␈↓↓Mathematical Biosciences,␈↓ 23, 351-379 (1975).
␈↓ ↓N␈↓B.A.␈α9(Mathematics),␈α:Ohio␈α9Wesleyan
␈↓ ↓N␈↓University,␈α∀1961.␈α∪ Ph.D.,␈α∀M.A.␈α∪(Philosophy),    ␈↓ π∞␈↓α␈↓ λ!Edward A. Feigenbaum 
␈↓ ↓N␈↓Michigan State University, 1966.
                                            ␈↓ π∞␈↓EDUCATION
␈↓ ↓N␈↓EXPERIENCE
                                            ␈↓ π∞␈↓Ph.D.,␈α∀Doctoral␈α∀program␈α∀in␈α∀the␈α∀Behavioral
␈↓ ↓N␈↓1976-␈α∀Adjunct␈α∀Professor,␈α∀Computer␈α∪Science       ␈↓ π∞␈↓Sciences,␈α#Graduate␈α#School␈α#of␈α"Industrial
␈↓ ↓N␈↓Department,␈α≠Stanford␈α≤University.␈α≠ 1972-76      ␈↓ π∞␈↓Administration,␈α5Carnegie␈α5Institute␈α4of
␈↓ ↓N␈↓Research␈α)Computer␈α)Scientist,␈α(Computer          ␈↓ π∞␈↓Technology,␈α?␈ααPittsburgh,␈α?␈ααPennsylvania,
␈↓ ↓N␈↓Science␈α"Department,␈α#Stanford␈α"University.       ␈↓ π∞␈↓September, 1959.
␈↓ ↓N␈↓1966-71␈α2Research␈α2Associate,␈α2Arti␈↓βC␈↓cial
␈↓ ↓N␈↓Intelligence Project, Stanford University.  ␈↓ π∞␈↓B.S.,␈αElectrical␈αEngineering,␈α
Carnegie␈αInstitute
                                            ␈↓ π∞␈↓of Technology, 1956.
␈↓ ↓N␈↓HONORS AND SOCIETIES
                                            ␈↓ π∞␈↓EXPERIENCE
␈↓ ↓N␈↓Recipient␈α_of␈α_National␈α_Institutes␈α_of␈α↔Health
␈↓ ↓N␈↓Career␈α#Development␈α#Award␈α#(1971-1976).          ␈↓ π∞␈↓Stanford University, Stanford, California
␈↓ ↓N␈↓Member␈α$of␈α$Association␈α$for␈α$Computing
␈↓ ↓N␈↓Machinery␈α≠(ACM),␈α~Philosophy␈α≠of␈α~Science          ␈↓ π∞␈↓Chairman,␈α≡Computer␈α≡Science␈α≡Department,
␈↓ ↓N␈↓Association,␈α0American␈α0Association␈α0for          ␈↓ π∞␈↓1976-.␈α
 Professor␈α
of␈α
Computer␈α
Science,␈α1969-.
␈↓ ↓N␈↓Advancement of Science (AAAS).              ␈↓ π∞␈↓Associate␈α≥Professor␈α≥of␈α≥Computer␈α≤Science,
                                            ␈↓ π∞␈↓1965-68.␈α  Director,␈α Stanford␈α∨Computation
␈↓ ↓N␈↓RECENT PUBLICATIONS                         ␈↓ π∞␈↓Center, 1965-68.

␈↓ ↓N␈↓B.␈α∂G.␈α∞Buchanan,␈α∂D.␈α∂H.␈α∞Smith,␈α∂W.␈α∂C.␈α∞White,           ␈↓ π∞␈↓University of California, Berkeley
␈↓ ↓N␈↓R.␈α∪Gritter,␈α∪E.␈α∪A.␈α∪Feigenbaum,␈α∪J.␈α∩Lederberg
␈↓ ↓N␈↓and␈α∃C.␈α⊗Djerassi,␈α∃"Applications␈α⊗of␈α∃Arti␈↓βC␈↓cial      ␈↓ π∞␈↓Associate␈α#Professor,␈α#School␈α$of␈α#Business
␈↓ ↓N␈↓Intelligence␈α↔for␈α↔Chemical␈α↔Inference.␈α⊗ XXII.     ␈↓ π∞␈↓Administration,␈α≥1964.␈α≥ Assistant␈α≥Professor,
␈↓ ↓N␈↓Automatic␈α/Rule␈α/Formation␈α/in␈α/Mass                ␈↓ π∞␈↓School␈α∩of␈α∩Business␈α∪Administration,␈α∩1960-63.
␈↓ ↓N␈↓Spectrometry␈α$by␈α$Means␈α$of␈α$the␈α#Meta-               ␈↓ π∞␈↓Research␈α↔Appointment,␈α↔Center␈α_for␈α↔Human
␈↓ ↓N␈↓DENDRAL␈α&Program.",␈α&␈↓↓Journal␈α&of␈α%the               ␈↓ π∞␈↓Learning,␈α_1961-64.␈α_ Research␈α↔Appointment,
␈↓ ↓N␈↓↓American Chemical Society,␈↓ September 1976.  ␈↓ π∞␈↓Center␈α∂for␈α∂Research␈α∂in␈α⊂Management␈α∂Science,
                                            ␈↓ π∞␈↓1960-64.
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ `6


␈↓ ↓N␈↓Editor,␈α
Computer␈α
Science␈α
Series,␈α
McGraw-Hill    ␈↓ π∞␈↓Area␈α∪Editor,␈α∀␈↓↓Journal␈α∪of␈α∪the␈α∀Association␈α∪for
␈↓ ↓N␈↓Book Company, New York, 1965-               ␈↓ π∞␈↓↓Computing␈α!Machinery␈↓.␈α" 1971-1976␈α!Public
                                            ␈↓ π∞␈↓Member,␈α⊂Steering␈α⊂Committee,␈α⊃ARPA␈α⊂Speech
␈↓ ↓N␈↓Member,␈α!Computer␈α!and␈α!Biomathematical           ␈↓ π∞␈↓Understanding Research Group
␈↓ ↓N␈↓Sciences␈α⊂Study␈α∂Section,␈α⊂National␈α⊂Institutes␈α∂of
␈↓ ↓N␈↓Health, Bethesda, Md., 1968-72.             ␈↓ π∞␈↓RECENT PUBLICATIONS

␈↓ ↓N␈↓PROFESSIONAL SOCIETIES                      ␈↓ π∞␈↓Shortli␈↓↓␈↓β@␈↓↓␈↓e,␈αEdward␈αH.,␈αDavis,␈α
Randall,␈αAxline,
                                            ␈↓ π∞␈↓Stanton␈α∩G.,␈α∩Buchanan,␈α∩Bruce␈α∩G.,␈α∪Green,␈α∩C.
␈↓ ↓N␈↓American␈α
Psychological␈αAssociation,␈α
American   ␈↓ π∞␈↓Cordell,␈α⊃and␈α⊃Cohen,␈α⊃Stanley␈α⊃N.,␈α⊂"Computer-
␈↓ ↓N␈↓Association␈α⊂for␈α⊂the␈α⊂Advancement␈α⊂of␈α⊂Science,      ␈↓ π∞␈↓Based␈α∞Consultations␈α
in␈α∞Clinical␈α
Therapeutics:
␈↓ ↓N␈↓Association␈α.for␈α/Computing␈α.Machinery            ␈↓ π∞␈↓Explanation␈α?␈α↓and␈α?␈α↓Rule␈α?Acquisition
␈↓ ↓N␈↓(member␈α
of␈α
National␈α
Council␈α
of␈α
ACM,␈α1966-         ␈↓ π∞␈↓Capabilities␈α,of␈α,the␈α,MYCIN␈α+System",
␈↓ ↓N␈↓68)                                         ␈↓ π∞␈↓␈↓↓Computers␈α∩and␈α⊃Biomedical␈α∩Research␈↓,␈α⊃Volume
                                            ␈↓ π∞␈↓8, Number 3, June 1975, pages 303-320.
␈↓ ↓N␈↓α␈↓ β∂C. Cordell Green 
                                            ␈↓ π∞␈↓Newell,␈α↔A.,␈α_Cooper,␈α↔F.␈α_ S.,␈α↔Forgie,␈α_J.␈α↔W.,
␈↓ ↓N␈↓EDUCATION                                   ␈↓ π∞␈↓Green,␈α∩C.␈α∩C.,␈α∪Klatt,␈α∩D.␈α∩H.,␈α∩Medress,␈α∪M.␈α∩F.,
                                            ␈↓ π∞␈↓Neuburg,␈α∂E.␈α∂ P.,␈α∂O'Malley,␈α∂M.␈α∂H.,␈α∂Reddy,␈α∞D.
␈↓ ↓N␈↓1969␈α≠Ph.D.␈α≠Stanford␈α≤University␈α≠Electrical       ␈↓ π∞␈↓R.,␈αRitea,␈α
B.,␈αShoup,␈α
J.␈αE.,␈α
Walker,␈αD.␈α
E.,␈αand
␈↓ ↓N␈↓Engineering.␈α⊃ 1965␈α⊃M.S.␈α∩Stanford␈α⊃University     ␈↓ π∞␈↓Woods,␈αW.␈αA.,␈α␈↓↓Considerations␈αfor␈αa␈αFollow-On
␈↓ ↓N␈↓Electrical␈α&Engineering.␈α% 1964␈α&B.S.␈α%Rice         ␈↓ π∞␈↓↓ARPA␈α,Research␈α,Program␈α,for␈α,Speech
␈↓ ↓N␈↓University␈α⊂Electrical␈α⊂Engineering.␈α⊂ 1963␈α⊂B.A.   ␈↓ π∞␈↓↓Understanding␈α?␈α⊂Systems␈↓,␈α?␈α∂Information
␈↓ ↓N␈↓Rice University.                            ␈↓ π∞␈↓Processing␈α$Techniques␈α$O␈↓↓␈↓β@␈↓↓␈↓ice,␈α#Advanced
                                            ␈↓ π∞␈↓Research␈α≤Projects␈α≠Agency,␈α≤Department␈α≠of
␈↓ ↓N␈↓EXPERIENCE                                  ␈↓ π∞␈↓Defense, Arlington, Virginia, August 1975.

␈↓ ↓N␈↓1971-␈α$Assistant␈α$Professor␈α$of␈α#Computer           ␈↓ π∞␈↓Green,␈α∪Cordell,␈α∪and␈α∪Barstow,␈α∪David,␈α∪"Some
␈↓ ↓N␈↓Science,␈α%Stanford␈α%University.␈α% 1970-1971       ␈↓ π∞␈↓Rules␈α$for␈α$the␈α$Automatic␈α$Synthesis␈α$of
␈↓ ↓N␈↓Research␈αand␈αDevelopment␈αProgram␈αManager        ␈↓ π∞␈↓Programs",␈α_␈↓↓Advance␈α_Papers␈α_of␈α_the␈α_Fourth
␈↓ ↓N␈↓(for␈α0arti␈↓↓␈↓βC␈↓↓␈↓cial␈α0intelligence),␈α0Information      ␈↓ π∞␈↓↓International␈α→Joint␈α→Conference␈α→on␈α→Arti␈↓␈↓βS␈↓␈↓↓cial
␈↓ ↓N␈↓Processing␈α$Techniques␈α$O␈↓↓␈↓β@␈↓↓␈↓ice,␈α#Advanced          ␈↓ π∞␈↓↓Intelligence␈↓,␈α∪Volume␈α∪1,␈α∪Arti␈↓↓␈↓βC␈↓↓␈↓cial␈α∩Intelligence
␈↓ ↓N␈↓Research␈α0Projects␈α0Agency.␈α0 1966-1969           ␈↓ π∞␈↓Laboratory,␈α1Massachusetts␈α1Institute␈α0of
␈↓ ↓N␈↓Research␈αMathematician,␈αArti␈↓↓␈↓βC␈↓↓␈↓cial␈αIntelligence ␈↓ π∞␈↓Technology,␈α:Cambridge,␈α9Massachusetts,
␈↓ ↓N␈↓Group, Stanford Research Institute.         ␈↓ π∞␈↓September 1975, pages 232-239.

␈↓ ↓N␈↓Consultant␈α∩for␈α∩Xerox␈α∩Corporation,␈α⊃Stanford      ␈↓ π∞␈↓Shaw,␈α↔David␈α↔E.,␈α↔William␈α↔R.␈α↔Swartout,␈α⊗C.
␈↓ ↓N␈↓Research␈αInstitute,␈αElectrotechnical␈αLaboratory␈↓ π∞␈↓Cordell␈α≠Green,␈α≠"Inferring␈α≠LISP␈α≠Programs
␈↓ ↓N␈↓(Japan),␈α(Systems␈α'Control,␈α(Inc.,␈α'Philips         ␈↓ π∞␈↓from␈α∃Examples",␈α∃<Adv.␈α∃Papers␈α∃of␈α∃4th␈α∀Int.
␈↓ ↓N␈↓Electrologica␈α6(The␈α6Netherlands),␈α5and           ␈↓ π∞␈↓Joint␈α⊗Conference␈α∃on␈α⊗Arti␈↓↓␈↓βC␈↓↓␈↓cial␈α∃Intelligence,>
␈↓ ↓N␈↓University of Edinburgh.                    ␈↓ π∞␈↓Vol. 1, pp. 260-267, September 1975.

␈↓ ↓N␈↓OTHER PROFESSIONAL ACTIVITIES               ␈↓ π∞␈↓Green,␈α~Cordell,␈α~"The␈α~Design␈α~of␈α~the␈α→PSI
                                            ␈↓ π∞␈↓Program␈α(Synthesis␈α(System",␈α(␈↓↓Proceedings
␈↓ ↓N␈↓1975-␈α∀Editorial␈α∪Board␈α∀Member,␈α∀␈↓↓Journal␈α∪of         ␈↓ π∞␈↓↓Second␈α∀International␈α∀Conference␈α∀on␈α∪Software
␈↓ ↓N␈↓↓Cognitive␈α.Science␈↓.␈α. 1974-1975␈α-Program          ␈↓ π∞␈↓↓Engineering␈↓,␈α⊗Computer␈α⊗Society,␈α↔Institute␈α⊗of
␈↓ ↓N␈↓Committee␈α↔Member,␈α↔USA-Japan␈α↔Computer           ␈↓ π∞␈↓Electrical␈α
and␈α
Electronics␈α
Engineers,␈αInc.,␈α
Long
␈↓ ↓N␈↓Conference.␈α≡ 1974␈α≡Mellon␈α≡Junior␈α≥Faculty         ␈↓ π∞␈↓Beach, California, October 1976, pages 4-18.
␈↓ ↓N␈↓Leave␈α→Fellow.␈α→ 1972-␈α→Arti␈↓↓␈↓βC␈↓↓␈↓cial␈α_Intelligence
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ `7


␈↓ ↓N␈↓Green,␈α∂Cordell,␈α⊂"The␈α∂PSI␈α⊂Program␈α∂Synthesis       ␈↓ π∞␈↓Award␈α from␈α Association␈α for␈α∨Computing
␈↓ ↓N␈↓System,␈α∩1976",␈α∪␈↓↓ACM␈α∩'76:␈α∩Proceedings␈α∪of␈α∩the        ␈↓ π∞␈↓Machinery (1971).
␈↓ ↓N␈↓↓Annual␈α
Conference␈↓,␈α
Association␈αfor␈α
Computing
␈↓ ↓N␈↓Machinery,␈α∀New␈α∀York,␈α∀New␈α∃York,␈α∀October           ␈↓ π∞␈↓PROFESSIONAL␈α?␈αλRESPONSIBILITIES
␈↓ ↓N␈↓1976, pages 74-75.                          ␈↓ π∞␈↓AND SCIENTIFIC INTERESTS

␈↓ ↓N␈↓Clark,␈α⊃Douglas,␈α∩and␈α⊃Green,␈α⊃C.␈α∩Cordell,␈α⊃"An        ␈↓ π∞␈↓With␈α∞Marvin␈α∞Minsky␈α∞organized␈α∞and␈α
directed
␈↓ ↓N␈↓Empirical␈α⊃Study␈α∩of␈α⊃List␈α⊃Structure␈α∩in␈α⊃LISP",       ␈↓ π∞␈↓the Arti␈↓↓␈↓βC␈↓↓␈↓cial Intelligence Project at M.I.T.
␈↓ ↓N␈↓␈↓↓Communications␈α~of␈α~the␈α~ACM␈↓,␈α~Volume␈α→19,
␈↓ ↓N␈↓Number 11, November 1976.                   ␈↓ π∞␈↓Organized␈α≤and␈α≤directs␈α≥Stanford␈α≤Arti␈↓↓␈↓βC␈↓↓␈↓cial
                                            ␈↓ π∞␈↓Intelligence Project
␈↓ ↓N␈↓Green,␈α≥C.␈α≥C.,␈α≥and␈α≥Barstow,␈α≥D.␈α≥R.,␈α≥"A
␈↓ ↓N␈↓Hypothetical␈α:Dialogue␈α:Exhibiting␈α:a             ␈↓ π∞␈↓Developed␈α∞the␈α∞LISP␈α∞programming␈α∞system␈α
for
␈↓ ↓N␈↓Knowledge␈α;Base␈α;for␈α<a␈α;Program                    ␈↓ π∞␈↓computing␈α3with␈α4symbolic␈α3expressions,
␈↓ ↓N␈↓Understanding␈α
System",␈α
in␈α
Elcock,␈α
E.␈α
W.,␈αand      ␈↓ π∞␈↓participated␈α in␈α the␈α development␈α of␈α∨the
␈↓ ↓N␈↓Michie,␈α∃D.,␈α∃editors,␈α∃␈↓↓Machine␈α∃Intelligence␈α∃8:     ␈↓ π∞␈↓ALGOL 58 and the ALGOL 60 languages.
␈↓ ↓N␈↓↓Machine␈α∩Representations␈α∩of␈α∩Knowledge␈↓,␈α⊃Ellis
␈↓ ↓N␈↓Horwood,␈α∀Ltd.,␈α∀and␈α∀John␈α∀Wiley␈α∀and␈α∀Sons,           ␈↓ π∞␈↓Present␈α_scienti␈↓↓␈↓βC␈↓↓␈↓c␈α_work␈α↔is␈α_in␈α_the␈α_␈↓↓␈↓βC␈↓↓␈↓elds␈α↔of
␈↓ ↓N␈↓Inc., New York, New York, 1976.             ␈↓ π∞␈↓Arti␈↓↓␈↓βC␈↓↓␈↓cial␈α'Intelligence,␈α(Computation␈α'with
                                            ␈↓ π∞␈↓Symbolic␈α∃Expressions,␈α∃Mathematical␈α∀Theory
␈↓ ↓N␈↓α␈↓ β⊗John McCarthy                               ␈↓ π∞␈↓of␈α"Computation,␈α"Time-Sharing␈α"computer
                                            ␈↓ π∞␈↓systems.
␈↓ ↓N␈↓EDUCATION
                                            ␈↓ π∞␈↓Director␈α)LOTS␈α*(Low-Overhead␈α)Time-
␈↓ ↓N␈↓B.S.␈α→ (Mathematics)␈α→California␈α~Institute␈α→of     ␈↓ π∞␈↓Sharing)␈αcomputer␈α
center␈αfor␈α
instructional␈αuse
␈↓ ↓N␈↓Technology,␈α(1948.␈α) Ph.D.␈α((Mathematics)         ␈↓ π∞␈↓and unsponsored research.  (1976-1979)
␈↓ ↓N␈↓Princeton University, 1951.
                                            ␈↓ π∞␈↓α␈↓ λPTerry Winograd 
␈↓ ↓N␈↓EXPERIENCE
                                            ␈↓ π∞␈↓EDUCATION
␈↓ ↓N␈↓Proctor␈α∃Fellow,␈α∀Princeton␈α∃University␈α∀(1950-
␈↓ ↓N␈↓51).␈α. Higgins␈α.Research␈α/Instructor␈α.in            ␈↓ π∞␈↓The␈α→Colorado␈α→College␈α~B.A.␈α→(Mathematics)
␈↓ ↓N␈↓Mathematics,␈α⊃Princeton␈α⊃University␈α⊃(1951-53).   ␈↓ π∞␈↓1966.␈α?␈αα University␈α?␈αβCollege,␈α?␈ααLondon
␈↓ ↓N␈↓Acting␈α↔Assistant␈α⊗Professor␈α↔of␈α⊗Mathematics,      ␈↓ π∞␈↓(Linguistics)␈α≠1967.␈α≠ M.I.T.␈α≠Ph.D.␈α~(Applied
␈↓ ↓N␈↓Stanford␈α#University␈α$(1953-55).␈α# Assistant      ␈↓ π∞␈↓Mathematics) 1970.
␈↓ ↓N␈↓Professor␈α∞of␈α∞Mathematics,␈α∞Dartmouth␈α∞College
␈↓ ↓N␈↓(1955-58).␈α?␈αε Assistant␈α?␈απProfessor␈α?␈αεof             ␈↓ π∞␈↓SCHOLARSHIPS AND FELLOWSHIPS
␈↓ ↓N␈↓Communication␈α Science,␈α M.I.T.␈α∨(1958-61).
␈↓ ↓N␈↓Associate␈α.Professor␈α.of␈α.Communication           ␈↓ π∞␈↓Boettcher␈α3Scholarship␈α41962-66.␈α3 NSF
␈↓ ↓N␈↓Science,␈α$M.I.T.␈α$(1961-62).␈α$ Professor␈α$of        ␈↓ π∞␈↓Undergraduate␈α4Research␈α5Program␈α4in
␈↓ ↓N␈↓Computer␈αScience␈αStanford␈αUniversity␈α(1962␈α-     ␈↓ π∞␈↓Mathematics␈α$1965.␈α$ Fulbright␈α#Fellowship
␈↓ ↓N␈↓present).                                   ␈↓ π∞␈↓1966-67.␈α1 Honorary␈α1Woodrow␈α0Wilson
                                            ␈↓ π∞␈↓Fellowship␈α∩1966.␈α∩ Honorary␈α∩NSF␈α∩Fellowship
␈↓ ↓N␈↓HONORS AND SOCIETIES                        ␈↓ π∞␈↓1966.  Danforth Fellowship 1967-70.

␈↓ ↓N␈↓American␈α∃Mathematical␈α⊗Society,␈α∃Association     ␈↓ π∞␈↓EXPERIENCE
␈↓ ↓N␈↓for␈α∩Computing␈α⊃Machinery,␈α∩Sigma␈α∩Xi,␈α⊃Sloan
␈↓ ↓N␈↓Fellow␈α∪in␈α∪Physical␈α∪Science␈α∪(1957-59),␈α∩IEEE,      ␈↓ π∞␈↓Instructor␈α~in␈α→Mathematics␈α~1970-71,␈α→M.I.T.
␈↓ ↓N␈↓ACM␈α∞National␈α∞Lecturer␈α∞(1961),␈α∂A.M.␈α∞Turing        ␈↓ π∞␈↓Asst.␈α∞Prof.␈α∂of␈α∞Electrical␈α∂Engineering␈α∞1971-74,
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ ←8


␈↓ ↓N␈↓M.I.T.␈α≠ Visiting␈α~Asst.␈α≠Prof.␈α≠of␈α~Computer
␈↓ ↓N␈↓Science␈α∀1973-74,␈α∀Stanford␈α∀University.␈α∀ Asst.
␈↓ ↓N␈↓Prof␈α⊗of␈α∃Computer␈α⊗Science␈α⊗and␈α∃Linguistics,
␈↓ ↓N␈↓Stanford Univ. 1974-.

␈↓ ↓N␈↓EDITORIAL BOARDS

␈↓ ↓N␈↓Arti␈↓↓␈↓βC␈↓↓␈↓cial␈α-Intelligence␈α-1973-.␈α, American
␈↓ ↓N␈↓Journal of Computational Linguistics 1974-.

␈↓ ↓N␈↓RECENT PUBLICATIONS

␈↓ ↓N␈↓"Frame␈α∞Representations␈α
and␈α∞the␈α∞Procedural␈α
-
␈↓ ↓N␈↓Declarative␈α⊂Controversy",␈α⊃in␈α⊂D.␈α⊃Bobrow␈α⊂and
␈↓ ↓N␈↓A.␈α0Collins,␈α/eds.,␈α0␈↓↓Representation␈α/and
␈↓ ↓N␈↓↓Understanding:␈α∪Studies␈α∪in␈α∪Cognitive␈α∪Science␈↓,
␈↓ ↓N␈↓Academic Press, 1975.

␈↓ ↓N␈↓"The␈α∨reactive␈α∨engine␈α paper",␈α∨␈↓↓Coevolution
␈↓ ↓N␈↓↓Quarterly␈↓, Autumn 1975

␈↓ ↓N␈↓"Parsing␈α~Natural␈α~Language␈α~via␈α~Recursive
␈↓ ↓N␈↓Transition␈α∨Net"␈α in␈α∨Raymond␈α Yeh␈α∨(ed.)
␈↓ ↓N␈↓␈↓↓Applied␈α_Computation␈α_Theory,␈↓␈α_Prentice-Hall,
␈↓ ↓N␈↓1976.

␈↓ ↓N␈↓"Computer␈α≡memories␈α≡␈↓↓␈↓βE␈↓↓␈↓␈α≡a␈α≡metaphor␈α≡for
␈↓ ↓N␈↓human␈α⊂memory"␈α∂to␈α⊂appear␈α∂in␈α⊂Charles␈α∂Cofer
␈↓ ↓N␈↓(ed.)␈α_␈↓↓Models␈α→of␈α_Human␈α→Memory␈↓,␈α_Freeman
␈↓ ↓N␈↓1976.
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ `9


␈↓ ↓N␈↓α␈↓ ¬U6.  Current Research

␈↓ ↓N␈↓Current research support in the Computer Science Department is as follows.

␈↓ ↓N␈↓αPrincipal Investigator(s), Title, Grant or contract no., Funding, Period

␈↓ ↓N␈↓␈↓αJohn␈αG.␈αHerriot,␈α␈↓↓Research␈αin␈α
Numerical␈αAnalysis,␈α␈↓NSF␈αMCS71-01996␈αA06,␈α$299,300,␈α
7/1/71-6/30/76
␈↓ ↓N␈↓␈↓ β∞+6.

␈↓ ↓N␈↓␈↓αEdward␈α
Feigenbaum,␈α␈↓↓The␈α
Automation␈α
of␈αScienti␈↓α␈↓βS␈↓α␈↓↓c␈α
Inference:␈α
Heuristic␈αComputing␈α
Applied␈αto␈α
Protein
␈↓ ↓N␈↓↓␈↓ β∞Crystallography, ␈↓NSF DCR74-23461, $130,000, 2/1/75-1/31/77 +6.

␈↓ ↓N␈↓␈↓αGene␈α∪Golub,␈α∪␈↓↓Research␈α∪in␈α∪Least␈α∪Squares␈α∪and␈α∪Robust␈α∪Regression,␈α∪␈↓DAHC04-75-G-0185,␈α∩$82,566,
␈↓ ↓N␈↓␈↓ β∞6/30/75-6/29/78.

␈↓ ↓N␈↓␈↓αDonald Knuth, ␈↓↓Analysis of Algorithms, ␈↓NSF MCS72-03752 A03, $383,000, 12/1/72-11/30/76 +6.

␈↓ ↓N␈↓␈↓αRobert␈α⊂Tarjan,␈α⊂␈↓↓E␈↓α␈↓βP␈↓α␈↓↓icient␈α⊂Graph␈α⊂Algorithms␈α⊂and␈α⊂Their␈α⊂Applications,␈α⊂␈↓NSF␈α⊃MCS75-22870,␈α⊂$29,700,
␈↓ ↓N␈↓␈↓ β∞3/1/76-2/28/77 +6.

␈↓ ↓N␈↓␈↓αDonald␈αKnuth,␈α␈↓↓Some␈αNew␈αApplications␈αof␈αComputers␈αto␈αClassical␈αMathematics,␈α␈↓NSF␈αMCS75-23082,
␈↓ ↓N␈↓␈↓ β∞$20,000, 3/1/76-2/28/77 +6.

␈↓ ↓N␈↓␈↓αEdward␈α∞Feigenbaum,␈α∞Joshua␈α∞Lederberg,␈α∞␈↓↓MOLGEN:␈α
A␈α∞Computer␈α∞Science␈α∞Application␈α∞to␈α
Molecular
␈↓ ↓N␈↓↓␈↓ β∞Genetics, ␈↓NSF MCS76-11649, $110,700, 6/1/76-5/31/78 +6.

␈↓ ↓N␈↓␈↓αRobert␈α∃Floyd,␈α∃␈↓↓Minimal␈α∃Algorithms,␈α∃Programming␈α∃Language,␈α∃and␈α∃Interactive␈α∃Languages,␈α∃␈↓NSF
␈↓ ↓N␈↓␈↓ β∞MCS72-03663 A04, $359,700, 4/1/72-3/31/77 +6.

␈↓ ↓N␈↓␈↓αEdward␈α
Feigenbaum,␈αCarl␈α
Djerassi,␈α
␈↓↓Resource␈αRelated␈α
Research␈α
-␈αComputers␈α
and␈α
Chemistry,␈α␈↓NIH␈α
5R
␈↓ ↓N␈↓␈↓ β∞24 RR 00612-07, $784,605 (Direct Costs), 5/1/74-4/30/77.

␈↓ ↓N␈↓␈↓αJoseph␈α∞Oliger,␈α∞␈↓↓E␈↓α␈↓βP␈↓α␈↓↓iciency␈α
Study␈α∞of␈α∞Numerical␈α∞Methods␈α
for␈α∞Computational␈α∞Fluid␈α∞Dynamics,␈α
␈↓NASA-
␈↓ ↓N␈↓␈↓ β∞AMES NCA2-OR745-707, $15,000, 8/1/76-7/31/77.

␈↓ ↓N␈↓␈↓αVaclav Chvatal, ␈↓↓Combinational Algorithms, ␈↓NSF MCS75-23387, $6,100, 9/1/76-8/31/77 +6.

␈↓ ↓N␈↓␈↓αGene␈α∩Golub,␈α⊃␈↓↓Research␈α∩in␈α∩Computing␈α⊃Methods␈α∩in␈α∩Numerical␈α⊃Analysis,␈α∩␈↓NSF␈α∩MCS␈α⊃75-13497A01,
␈↓ ↓N␈↓␈↓ β∞$123,198, 10/1/75-9/30/78 +6.

␈↓ ↓N␈↓␈↓αEdward␈α∀Feigenbaum,␈α∀Joshua␈α∃Lederberg,␈α∀␈↓↓Heuristic␈α∀Programming␈α∃Project,␈α∀␈↓DAHC15-73-C-0435,
␈↓ ↓N␈↓␈↓ β∞$903,048, 7/15/73-6/30/77.

␈↓ ↓N␈↓␈↓αJoseph␈α∞Oliger,␈α∞␈↓↓Computing␈α∞Methods␈α∞for␈α∞Approximate␈α∞Solutions␈α∞of␈α∞Time␈α∞Dependent␈α∞Problems,␈α∞␈↓ONR
␈↓ ↓N␈↓␈↓ β∞N00014-75-C-1132, $54,722, 9/1/75-11/30/76.

␈↓ ↓N␈↓␈↓αDonald␈α∩Knuth,␈α∩␈↓↓Research␈α∪in␈α∩Analysis␈α∩of␈α∪Algorithms,␈α∩␈↓ONR␈α∩N00014-76-C-0330,␈α∪$54,411,␈α∩8/1/75-
␈↓ ↓N␈↓␈↓ β∞11/30/76.

␈↓ ↓N␈↓␈↓αGene Golub, ␈↓↓Research in Numerical Analysis, ␈↓ERDA E(04-3) 326 PA530, $60,000, 10/1/75-10/31/76.
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ T10


␈↓ ↓N␈↓␈↓αRobert␈α∀Tarjan,␈α∃␈↓↓E␈↓α␈↓βP␈↓α␈↓↓icient␈α∀Graph␈α∀Algorithms␈α∃and␈α∀Their␈α∀Applications,␈α∃␈↓ONR␈α∀N00014-76-C-0688,
␈↓ ↓N␈↓␈↓ β∞$27,990, 4/1/76-12/31/76.

␈↓ ↓N␈↓␈↓αGene␈α∞Golub,␈α∞␈↓↓Numerical␈α∞Computation␈α∂of␈α∞Robust␈α∞and␈α∞Nonlinear␈α∞Statistical␈α∂Estimators,␈α∞␈↓Sub-contract
␈↓ ↓N␈↓␈↓ β∞from NBER (NSF Grant), $18,627, 6/1/76-5/31/77.

␈↓ ↓N␈↓␈↓αDonald Knuth, ␈↓↓Unrestricted, ␈↓IBM Corporation, $20,000, 1/1/76-12/31/76.

␈↓ ↓N␈↓α␈↓ ∧cPending Proposals (new and renewal) 

␈↓ ↓N␈↓␈↓αForest␈α
Baskett␈α
III␈α
(renewal),␈α␈↓↓Research␈α
on␈α
Parallel␈α
Processor␈α
Architecture,␈α␈↓Lawrence-Livermore␈α
Labs.,
␈↓ ↓N␈↓␈↓ β∞$2,351, 10/1/76-12/31/76.

␈↓ ↓N␈↓␈↓αBruce␈α∩Buchanan␈α⊃Stanley␈α∩Cohen␈α⊃(competing␈α∩renewal),␈α⊃␈↓↓Computer-Based␈α∩Consultation␈α∩in␈α⊃Clinical
␈↓ ↓N␈↓↓␈↓ β∞Therapeutics, ␈↓NIH 2R01 HS01544, $897,212 , 6/1/77-5/31/80.

␈↓ ↓N␈↓␈↓αVaclav␈α∪Chvatal␈α∩(new),␈α∪␈↓↓Combinatorial␈α∪Optimization,␈α∩␈↓USARO,␈α∪Air␈α∩Force,␈α∪ONR,␈α∪$39,000,␈α∩2/1/77-
␈↓ ↓N␈↓␈↓ β∞1/31/78.

␈↓ ↓N␈↓␈↓αEdward␈αFeigenbaum␈α(renewal),␈α␈↓↓The␈αAutomation␈αof␈αScienti␈↓α␈↓βS␈↓α␈↓↓c␈αInference:␈αHeuristic␈αComputing␈αApplied
␈↓ ↓N␈↓↓␈↓ β∞to Protein Crystallography, ␈↓NSF DCR74-23461, $221,102, 3/1/77-2/28/79.

␈↓ ↓N␈↓␈↓αEdward␈α∞Feigenbaum␈α∂Carl␈α∞Djerassi␈α∂(competing␈α∞renewal),␈α∞␈↓↓Resource␈α∂Related␈α∞Research␈α∂-␈α∞Computers
␈↓ ↓N␈↓↓␈↓ β∞and Chemistry, ␈↓NIH 5R24 44 00612-07, $1,463,940 (Direct Costs), 5/1/77-4/30/82.

␈↓ ↓N␈↓␈↓αGene␈α∃Golub␈α⊗(renewal),␈α∃␈↓↓Research␈α⊗in␈α∃Numerical␈α∃Analysis,␈α⊗␈↓ERDA␈α∃E(04-3)-326␈α⊗PA630,␈α∃$60,000,
␈↓ ↓N␈↓␈↓ β∞11/1/76-10/31/77.

␈↓ ↓N␈↓␈↓αJohn Herriot (new), ␈↓↓Research in Numerical Analysis, ␈↓NSF, $213,538, 8/1/77-7/31/80.

␈↓ ↓N␈↓␈↓αDonald Knuth (renewal), ␈↓↓Analysis of Algorithms, ␈↓NSF MCS72-03752, $111,509, 12/1/76-11/30/77.

␈↓ ↓N␈↓␈↓αDonald␈α⊂Knuth␈α⊂(renewal),␈α⊂␈↓↓Research␈α⊂in␈α∂Analysis␈α⊂of␈α⊂Algorithms,␈α⊂␈↓ONR␈α⊂N00014-76-C-0330,␈α∂$45,668,
␈↓ ↓N␈↓␈↓ β∞12/1/76-11/30/77.

␈↓ ↓N␈↓␈↓αWilliam␈α⊗F.␈α⊗Miller␈α⊗Bruce␈α⊗Buchanan␈α∃Edward␈α⊗Feigenbaum␈α⊗Donald␈α⊗Harrison␈α⊗(new),␈α∃␈↓↓Training
␈↓ ↓N␈↓↓␈↓ β∞Program␈α⊃in␈α⊃Biomedical␈α⊃Computing,␈α⊃␈↓NIH-National␈α⊃Library␈α⊃of␈α⊃Medicine,␈α⊂$1,377,721
␈↓ ↓N␈↓␈↓ β∞(Direct Costs), 6/1/77-5/31/82.

␈↓ ↓N␈↓␈↓αJoseph␈α↔Oliger␈α⊗(renewal),␈α↔␈↓↓Computing␈α↔Methods␈α⊗for␈α↔Approximate␈α⊗Solutions␈α↔of␈α↔Time␈α⊗Dependent
␈↓ ↓N␈↓↓␈↓ β∞Problems, ␈↓ONR N00014-75-C-1132, $52,649, 12/1/76-11/30/77.

␈↓ ↓N␈↓␈↓αJoseph␈α⊃Oliger␈α⊃(new),␈α⊂␈↓↓Computational␈α⊃Methods␈α⊃for␈α⊂Time␈α⊃Dependent␈α⊃Partial␈α⊃Di␈↓α␈↓βP␈↓α␈↓↓erential␈α⊂Equations,
␈↓ ↓N␈↓↓␈↓ β∞␈↓NSF, $130,080, 9/1/77-8/31/80.

␈↓ ↓N␈↓␈↓αRobert Tarjan (renewal), ␈↓↓E␈↓α␈↓βP␈↓α␈↓↓icient Graph Algorithms, ␈↓NSF MCS75-22870, $33,807, 3/1/77-2/28/78.

␈↓ ↓N␈↓␈↓αRobert␈αTarjan␈α(renewal),␈α␈↓↓E␈↓α␈↓βP␈↓α␈↓↓icient␈αGraph␈αTheory␈αAlgorithms␈αand␈αTheir␈αApplications,␈α␈↓ONR␈αN00014-
␈↓ ↓N␈↓␈↓ β∞76-C-0688, $41,286, 1/1/77-12/31/77.
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ P11


␈↓ ↓N␈↓␈↓αLeland␈α∞Smith,␈α∂John␈α∞Chowning,␈α∂␈↓↓Computer␈α∞Simulations␈α∂of␈α∞Music␈α∂Instrument␈α∞Tones␈α∂in␈α∞Reverberant
␈↓ ↓N␈↓↓␈↓ β∞Space, ␈↓NSF DCR 75-00694, $254,600, 5/1/75-4/30/77 +6.

␈↓ ↓N␈↓␈↓αLeland␈αSmith␈αJohn␈αChowning,␈α␈↓↓The␈αComputer␈αMusic␈αFacility:␈αA␈αNew␈αMusical␈αMedium,␈α␈↓NEA␈αC50-
␈↓ ↓N␈↓␈↓ β∞31-28, $160,000, 6/1/75-5/31/77.

␈↓ ↓N␈↓␈↓αLeland␈αSmith␈α
John␈αChowning,␈α
␈↓↓Timbre␈αPerception␈αfor␈α
Comples␈αTime-Variant␈α
Tones,␈α␈↓NSF␈α
BNS␈α75-
␈↓ ↓N␈↓␈↓ β∞17715, $90,000, 3/15/76-9/14/77 +5-1/2 mos..

␈↓ ↓N␈↓␈↓αJohn␈α⊂McCarthy␈α⊂(Thomas␈α⊂Binford),␈α⊂␈↓↓Exploratory␈α⊂Study␈α⊂of␈α⊂Computer␈α⊂Integrated␈α⊃Assembly␈α⊂Systems,
␈↓ ↓N␈↓↓␈↓ β∞␈↓NSF APR 74-01390A04, $550,000, 4/1/76-3/31/78 +6.

␈↓ ↓N␈↓␈↓αJohn␈αMcCarthy␈αDavid␈αLuckham,␈α␈↓↓Veri␈↓α␈↓βS␈↓α␈↓↓cation␈αOriented␈αProgramming,␈α␈↓NSF␈αMCS␈α76-23252,␈α
$160,000,
␈↓ ↓N␈↓␈↓ β∞6/1/76-5/31/78 +6.

␈↓ ↓N␈↓␈↓αTerry␈α
Winograd,␈α
␈↓↓Computer␈α
Modelling␈α
of␈αLanguage␈α
Comprehension␈α
Processes,␈α
␈↓NSF␈α
MCS␈α75-23252,
␈↓ ↓N␈↓␈↓ β∞$101,500, 1/1/76-12/31/77 +6.

␈↓ ↓N␈↓␈↓αTerry Winograd, ␈↓↓Research in Understander Systems, ␈↓XEROX Corporation, $30,000, 9/1/76-9/30/77.

␈↓ ↓N␈↓␈↓αJohn McCarthy, ␈↓↓Arti␈↓α␈↓βS␈↓α␈↓↓cial Intelligence Project, ␈↓MDA 903-76-C-0206, $1,521,228, 1/1/76-6/30/77.

␈↓ ↓N␈↓␈↓αJohn␈α∪McCarthy,␈α∪␈↓↓Computer␈α∪Visual␈α∪SYS-Systems␈α∪for␈α∪Exploratory␈α∪Vehicles,␈α∪␈↓NASW-2916,␈α∪$45,000,
␈↓ ↓N␈↓␈↓ β∞3/1/76-2/28/77.

␈↓ ↓N␈↓␈↓αZohar Manna, ␈↓↓The Logic of Computer Programming, ␈↓N00014-76-C-0687, $86,661, 3/1/76-5/31/77.

␈↓ ↓N␈↓α␈↓ ¬KPending Applications 

␈↓ ↓N␈↓␈↓αJohn␈α⊃McCarthy␈α⊃(Zohar␈α⊃Manna),␈α⊃␈↓↓A␈α⊂Uni␈↓α␈↓βS␈↓α␈↓↓ed␈α⊃Approach␈α⊃to␈α⊃Automatic␈α⊃Programming,␈α⊂␈↓MCS-7683655,
␈↓ ↓N␈↓␈↓ β∞$192,930, 10/0/76-9/30/78.

␈↓ ↓N␈↓␈↓αJohn␈αMcCarthy␈α(David␈αLuckham),␈α␈↓↓Veri␈↓α␈↓βS␈↓α␈↓↓cation␈αof␈αOperationg␈αSystems␈αWritten␈αin␈αConcurrent␈αPascal,
␈↓ ↓N␈↓↓␈↓ β∞␈↓10/5/76-NSF, $74,092, 3/1/77-2/28/79.

␈↓ ↓N␈↓␈↓αJohn McCarthy, ␈↓↓Dialnet: A Computer Communication Study, ␈↓10/15/76-NSF, $95,996, 7/1/77-12/31/78.
␈↓ ↓N␈↓αTerminal System for Computer Science Research␈↓ T12


␈↓ ↓N␈↓α␈↓ α-7.  Operation and Maintenance               ␈↓ π∞␈↓α␈↓ λkAppendix A 

␈↓ ↓N␈↓Operation␈α_of␈α_the␈α_terminal␈α_system␈α_will␈α_be
␈↓ ↓N␈↓initially␈α∀under␈α∀the␈α∀supervision␈α∀of␈α∀Professor     ␈↓ π∞␈↓α␈↓ λ/Computing Facilities 
␈↓ ↓N␈↓John␈α≥McCarthy,␈α≡with␈α≥policies␈α≥set␈α≡by␈α≥a
␈↓ ↓N␈↓departmental committee.
                                            ␈↓ π∞␈↓The␈α⊃existing␈α⊃computer␈α⊃facilities␈α⊃that␈α⊃will␈α⊃be
␈↓ ↓N␈↓The␈α∞sta␈↓β@␈↓␈α∞devoted␈α∞to␈α∞maintenance␈α∂will␈α∞consist      ␈↓ π∞␈↓accessed␈αby␈α
the␈αsystem␈α
described␈αabove␈α
are␈αas
␈↓ ↓N␈↓of␈α$one␈α#half-time␈α$student␈α$for␈α#software            ␈↓ π∞␈↓follows.
␈↓ ↓N␈↓maintenance␈α
and␈αone␈α
half-time␈α
technician␈αfor
␈↓ ↓N␈↓equipment.␈α→ The␈α_annual␈α→budget␈α→for␈α_these          ␈↓ π∞␈↓α␈↓ π≡SAIL (Stanford Arti␈↓␈↓βc␈↓␈↓αcial Intelligence Lab) 
␈↓ ↓N␈↓services␈α⊃is␈α⊃expected␈α⊃to␈α⊃be␈α⊃about␈α⊃$17,500␈α⊃for
␈↓ ↓N␈↓salaries␈α
and␈α
bene␈↓βC␈↓ts␈α
and␈α
$5,000␈α
for␈α
parts␈αand      ␈↓ π∞␈↓This␈α∩system␈α∩is␈α∩largely␈α∩devoted␈α∩to␈α⊃sponsored
␈↓ ↓N␈↓outside services.                           ␈↓ π∞␈↓research␈α∪in␈α∩arti␈↓βC␈↓cial␈α∪intelligence␈α∪and␈α∩related
                                            ␈↓ π∞␈↓␈↓βC␈↓elds.␈α
 DEC␈αKL10␈α
and␈α
KA10␈αprocessors␈α
share
                                            ␈↓ π∞␈↓512k␈α↔words␈α↔(36␈α⊗bit)␈α↔of␈α↔core␈α↔memory␈α⊗and
                                            ␈↓ π∞␈↓7.8*10␈↓∧9␈↓␈α⊂bits␈α∂of␈α⊂disk␈α∂memory.␈α⊂ The␈α∂operating
                                            ␈↓ π∞␈↓system␈α⊃is␈α⊃similar␈α⊃to␈α⊃the␈α⊃DEC␈α⊃TOPS-10.␈α⊃ A
                                            ␈↓ π∞␈↓PDP-11/45␈α∪is␈α∩used␈α∪for␈α∩robotics␈α∪work.␈α∩ The
␈↓ ↓N␈↓The␈α%source␈α%␈↓βC␈↓le␈α%of␈α%this␈α%document␈α$is                ␈↓ π∞␈↓system␈α∞is␈α∞connected␈α
to␈α∞the␈α∞Arpanet␈α∞and␈α
there
␈↓ ↓N␈↓CSDDIS.PRO[F76,JMC]@SU-AI                   ␈↓ π∞␈↓are␈α≤64␈α≥local␈α≤display␈α≤terminals␈α≥with␈α≤full
                                            ␈↓ π∞␈↓graphics capability.

                                            ␈↓ π∞␈↓α␈↓ λcSUMEX-AIM 

                                            ␈↓ π∞␈↓Largely␈α≥devoted␈α≥to␈α≥research␈α≥on␈α≤arti␈↓∧␈↓βC␈↓∧␈↓cial
                                            ␈↓ π∞␈↓intelligence␈α⊃in␈α⊃medicine,␈α⊃this␈α⊃system␈α⊃has␈α⊂two
                                            ␈↓ π∞␈↓DEC␈α∂KI10␈α∂processors␈α∞sharing␈α∂256k␈α∂words␈α∞of
                                            ␈↓ π∞␈↓main␈α~memory,␈α~with␈α~2.2*10␈↓∧9␈↓␈α~bits␈α≠of␈α~disk
                                            ␈↓ π∞␈↓memory.␈α The␈αTenex␈αoperating␈αsystem␈αis␈αused
                                            ␈↓ π∞␈↓and␈α→this␈α_system␈α→is␈α_also␈α→connected␈α→to␈α_the
                                            ␈↓ π∞␈↓Arpanet.

                                            ␈↓ π∞␈↓α␈↓ π≥IMSSS (Institute for Mathematical Studies 
                                            ␈↓ π∞␈↓ λ)␈↓αin the Social Sciences) 

                                            ␈↓ π∞␈↓Largely␈α~devoted␈α~to␈α~research␈α~on␈α→computer
                                            ␈↓ π∞␈↓aided␈αinstruction,␈αthis␈α
system␈αhas␈αa␈αDEC␈α
KI10
                                            ␈↓ π∞␈↓processor␈α⊃with␈α⊃256k␈α⊃words␈α⊃of␈α∩main␈α⊃memory
                                            ␈↓ π∞␈↓and runs the Tenex operating system.

                                            ␈↓ π∞␈↓α␈↓ π_LOTS (Low Overhead Timesharing System) 

                                            ␈↓ π∞␈↓This␈α⊃new␈α∩facility␈α⊃is␈α⊃mainly␈α∩for␈α⊃instructional
                                            ␈↓ π∞␈↓use␈αand␈αemploys␈αa␈αDEC␈αKL20␈α
computer␈αwith
                                            ␈↓ π∞␈↓256k␈α
words␈α
of␈α
main␈α
memory.␈α
 The␈α
TOPS-20
                                            ␈↓ π∞␈↓monitor␈α∂is␈α∞used␈α∂and␈α∞there␈α∂are␈α∞several␈α∂sets␈α∞of
                                            ␈↓ π∞␈↓display␈αterminals␈αconnected␈αto␈αthe␈αsystem␈αfrom
                                            ␈↓ π∞␈↓various campus locations.
␈↓ ↓N␈↓αAppendix A␈↓ ¬OComputing Facilities␈↓ P13


␈↓ ↓N␈↓α␈↓ ↓rSCIP (Stanford Center for Information 
␈↓ ↓N␈↓ β2␈↓αProcessing) 

␈↓ ↓N␈↓This␈α~facility␈α~is␈α→for␈α~general␈α~research␈α→and
␈↓ ↓N␈↓instructional␈α∀use␈α∀and␈α∀is␈α∀based␈α∀on␈α∀an␈α∪IBM
␈↓ ↓N␈↓370/168␈α⊗computer␈α⊗with␈α⊗4M␈α⊗bytes␈α↔of␈α⊗main
␈↓ ↓N␈↓memory␈α∩and␈α∪4.8*10␈↓∧9␈↓␈α∩bytes␈α∩of␈α∪disk␈α∩memory.
␈↓ ↓N␈↓Numerous␈α-typewriter␈α-terminals␈α-around
␈↓ ↓N␈↓campus␈α∀have␈α∀access␈α∀to␈α∀the␈α∀system␈α∀and␈α∀the
␈↓ ↓N␈↓Wylbur␈α≥monitor␈α≤provides␈α≥interactive␈α≤text
␈↓ ↓N␈↓editing and remote job entry services.
␈↓ ↓N␈↓α␈↓ ε↑␈↓ P14


␈↓ ↓N␈↓α␈↓ εAppendix B 


␈↓ ↓N␈↓α␈↓ β[Stanford Computer Science Department Research Report 





␈↓ ↓N␈↓␈↓ βlA summary of research interests of department members.